Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·5h·
Discuss: Lobsters, Hacker News, r/programming
🧭SMT Solvers
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·14h
🔢Mathematical Logic
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·4h·
Discuss: Hacker News
🎲Probabilistic Programming
How to Build an AI Budget-Planning Optimizer for Your 2026 CAPEX Review: LangGraph, FastAPI, and n8n
towardsdatascience.com·6h
🎲Probabilistic Programming
Predictive User Intent Modeling for Smart Home Device Orchestration via Bayesian Dynamic Programming
dev.to·1h·
Discuss: DEV
🎲Probabilistic Programming
Human vs. AI in Logic Tasks: a Study
dailynous.com·1d
🧩Theorem Proving
Context Pruning in Conversational Agent
poonai.xyz·8h·
Discuss: Hacker News
🧩Theorem Proving
Undecidability of Tiling with a Tromino
arxiv.org·14h
⚙Functional Programming
[Help] Complex University Course Scheduling - Need Staff Assignment Algorithm/Tool
reddit.com·4h·
Discuss: r/AskProgramming
📈Complexity Theory
These 3 Excel functions make me feel like a spreadsheet wizard
makeuseof.com·4h
📝Lisp
From static to adaptive: Scaling AI reasoning without the waste
nordot.app·6h
⚖️Logic Programming
Six Simple Sudoku Solvers I: Python (Reference)
blog.veitheller.de·2d
🧭SMT Solvers
Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
arxiv.org·14h
🔗Parser Combinators
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·5h
🔄Category Theory
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
🎲Probabilistic Programming
The Hungarian Algorithm and Its Applications in Computer Vision
towardsdatascience.com·1d
🗄️Database Theory
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·14h
✅Formal Verification
Creational Design Patterns in Python. Part I
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
A multi-strategy improved gazelle optimization algorithm for solving numerical optimization and engineering applications
arxiv.org·14h
⚖Algorithmic Game Theory
Quantum Approximate and Quantum Walk Optimization Approaches to Set Balancing
arxiv.org·14h
🔐Cryptography